Qualitative Spatial Representation and Reasoning in the SparQ-Toolbox

نویسندگان

  • Jan Oliver Wallgrün
  • Lutz Frommberger
  • Diedrich Wolter
  • Frank Dylla
  • Christian Freksa
چکیده

A multitude of calculi for qualitative spatial reasoning (QSR) have been proposed during the last two decades. The number of practical applications that make use of QSR techniques is, however, comparatively small. One reason for this may be seen in the difficulty for people from outside the field to incorporate the required reasoning techniques into their software. Sometimes, proposed calculi are only partially specified and implementations are rarely available. With the SparQ toolbox presented in this text, we seek to improve this situation by making common calculi and standard reasoning techniques accessible in a way that allows for easy integration into applications. We hope to turn this into a community effort and encourage researchers to incorporate their calculi into SparQ. This text is intended to present SparQ to potential users and contributors and to provide an overview on its features and utilization.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

SparQ: A Toolbox for Qualitative Spatial Representation and Reasoning

Amultitude of calculi for qualitative spatial reasoning (QSR) has been proposed during the last two decades. The number of practical applications that make use of QSR techniques is, however, comparatively small. One reason for this may be seen in the difficulty for people from outside the field to incorporate the required reasoning techniques into their software. Sometimes, proposed calculi are...

متن کامل

SparQ - A Spatial Reasoning Toolbox

SparQ is a toolbox for qualitative spatial reasoning. Interpreting reasoning in a broad sense, SparQ covers mapping information from quantitative to qualitative, applying constraint reasoning to qualitative information, reasoning about calculi, and mapping qualitative information back to the quantitative domain. The toolbox is designed for extensibility and released under the GNU GPL public lic...

متن کامل

Using SparQ for Matching Sketch Maps

Qualitative spatial relations have been argued to play an important role in the interpretation and analysis of sketch maps as typically only rough qualitative categories are preserved in these kinds of externalized spatial representations. In this paper, we look at processing sketch maps from a qualitative spatial reasoning (QSR) perspective. In particular in focus is the matching problem of fi...

متن کامل

Qualitative Spatial Reasoning for Applications: New Challenges and the SparQ Toolbox

About two decades ago, the field of Qualitative Spatial and Temporal Reasoning (QSTR) emerged as a new area of AI research that set out to grasp human-level understanding and reasoning about spatial and temporal entities, linking formal approaches to cognitive theories. Empowering artificial agents with QSTR capabilities is claimed to facilitate manifold applications, including robot navigation...

متن کامل

Analyzing Qualitative Spatio-Temporal Calculi using Algebraic Geometry

Qualitative spatial reasoning is based on calculi which comprise relations and operation tables that encode operations like relation composition. Designing a calculus involves determining these tables and analyzing reasoning properties—a demanding task that is susceptible to errors if performed manually. This paper is concerned with automating computation of operation tables and analysis of qua...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006